English Computing Dictionary
◊ CONSTRAINT FUNCTIONAL PROGRAMMING
constraint functional programming
(CFP) {Functional programming} plus {constraint}s.